Pour la localisation des métaphores et des comparaisons dans la traduction des romans vietnamiens

Sur la présence des antigènes solubles dans la culture liquide et aérée de Hemophilus pertussis

Evaluation de l'apport des aspects, des sujets et des vues pour la composition et la réutilisation des modèles

The reuse, the evolution or the fast adaptation of the code of an application are among the strongest concerns of companies. Model engineering tries to bring a solution putting the model in the center of the software development and by capturing the business know-how initially described in the code of the application. This approach has the advantage to make the description independant of softwa...

Gestion de la variabilité de l'allocation des ressources dans la modélisation et l'exécution des processus

La modélisation des processus d'entreprise comme un "enchaînement de tâches", sans prise en compte de la problématique de l'estimation des ressources disponibles par rapport à la charge entrante (réelle), conduit à empiler des processus parallèles sur des ressources, en considérant qu’elle seront toujours disponibles. La question de l'accès concurrent de plusieurs processus et instances de proc...

Utilisation des langages d'arbres pour la modélisation et la vérification des systèmes à états infinis

This document presents different tools to represent and manipulate infinitsets of tree tuples called tree tuple languages. We choose logic programming as formalismto describe tree tuple languages (i.e relations) and logic program transformation techniquesfor computing operations on them. In a first step we study a class of relation closed underusual sets operations, the class of...

Stabilisation des antigenes claveleux et preparation d'un vaccin mixte contre la clavelee et la fievre charbonneuse